Strong conceptual completeness for first-order logic
نویسندگان
چکیده
منابع مشابه
Strong conceptual completeness for first-order logic
By a strong conceptual completeness (XC) statement for a logical doctrine we mean an assertion that says that any theory of the doctrine can be recovered from an appropriate structure formed by the models of the theory. The expression ‘logical doctrine’ is used here as in [9] to mean a specific selection of logical operations giving rise to a notion of theory, in the form of a structured catego...
متن کاملConceptual Completeness for First-Order Intuitionistic Logic: An Application of Categorical Logic
This paper concerns properties of interpretations between first-order theories in intuitionistic logic, and in particular how certain syntactic properties of such interpretations can be characterised by their model-theoretic properties. We allow theories written in possibly many-sorted languages. Given two such theories 3 and 7, an interpretation of 3 in 3’ will here mean a model of 3 in the ‘f...
متن کاملFirst-Order Logic, Second-Order Logic, and Completeness
Both firstand second-order logic (FOL and SOL, respectively) as we use them today were arguably created by Frege in his Begriffsschrift – if we ignore the notational differences. SOL also suggests itself as a natural, and because of its much greater strength, desirable extension of FOL. But at least since W. V. Quine’s famous claim that SOL is “set theory in sheep’s clothing” it is widely held ...
متن کاملCoinductive Pearl: Modular First-Order Logic Completeness
Codatatypes are regrettably absent from many programming languages and proof assistants. We make a case for their usefulness by revisiting a classic result: the completeness theorem for first-order logic established through a Gentzen system. Codatatypes help capture the essence of the proof, which establishes an abstract property of derivation trees independently of the concrete syntax or infer...
متن کاملTopological Completeness of First-order Modal Logic
As McKinsey and Tarski [19] showed, the Stone representation theorem for Boolean algebras extends to algebras with operators to give topological semantics for (classical) propositional modal logic, in which the “necessity” operation is modeled by taking the interior of an arbitrary subset of a topological space. The topological interpretation was extended by Awodey and Kishida [3] in a natural ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1988
ISSN: 0168-0072
DOI: 10.1016/0168-0072(88)90019-x